例文
- Systems with explicit recursion combinators, such as PCF ( for Programming language for Computable Functions ) is a prototypical, typed functional programming language, where types are used to ensure that programs are well-behaved but not necessarily terminating.